#ifndef _KRLSCHED_H_
#define _KRLSCHED_H_

#include <krlsched_t.h>
#include <krlthread_t.h>
#include <waitlst_t.h>

void krl_sched_init (void);
void thdlst_t_init (thdlst_t * initp);
void schdata_t_init (schdata_t * initp);
void schclass_t_init (schclass_t * initp);

void krl_sched_return_from_first_thd (thread_t * thdp);
thread_t * krl_sched_return_curthd (void);
void krl_sched_check_schedstus (void);

void krl_sched_run (void);
void krl_sched_up (waitlst_t * wlist);

#endif
